{-
	Example definition that does not have a unique superclass
-}

a ::= C | D;
b ::= C | D;
